Interfacing Software Libraries from Nondeterministic Prototypes

Interfacing Hardware and Software Using C++ Class Libraries

As chip capacity increases and system-on-a-chip becomes more than just a catch phrase, hardware and system design are being driven in new directions. Systems are designed not just as hardware, but as a tightly coupled combination of both hardware and software. C++, extended with class libraries, is emerging as the way to design such complex systems. This paper proposes methods to specify and re...

Interfacing Hardware and Software

The paper treats the problem of automatic generation of communication interfaces between hardware devices such as FPGAs and ASICs and software programmable devices such as microprocessors In we introduced an object oriented approach to interface generation starting from a coarse grain process graph speci cation level to the nal device dependent implementation Here we present generic templates o...

Software Libraries

Interfacing source transformation AD with operator overloading libraries

Scientific applications are usually written in a single language such as C, C++, or a flavor of Fortran. Various algorithmic differentiation (AD) tools exist to differentiate these applications by using source transformation [1, 2, 3, 4] or operator-overloading [5, 6]. The language that an application is written in often dictates the approach and tool to be used for differentiation. Additionall...

A Formal Model for Integrated Retrieval from Software Libraries a Formal Model for Integrated Retrieval from Software Libraries

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Individual abstracts and compressed postscript les are available from Abstract The central problem associated with libraries of object-oriented software components is that of retrieval: how to nd in the library those components that can be used in the construction of a pa...